1

Church-Rosser theorem for typed functional systems

Year:
1985
Language:
english
File:
PDF, 625 KB
english, 1985
3

Intersection Types and Termination Properties

Year:
2012
File:
PDF, 122 KB
2012
5

Query Rewriting Under Ontology Change

Year:
2016
Language:
english
File:
PDF, 331 KB
english, 2016
7

Functional interpretation of the β-rule

Year:
1985
Language:
english
File:
PDF, 945 KB
english, 1985
9

Polymorphic lambda calculus: the Church-Rosser property

Year:
1991
Language:
english
File:
PDF, 366 KB
english, 1991